1. Arithmetic, Proof theory and computational complexity
Author: edited by Peter Clote and Jan Krajicek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Computational complexity
Classification :
QA
9
.
54
.
A75
2. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
Author: edited by M. M. Richter ... ]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Proof theory
Classification :
QA
9
.
59
.
C65
1983
3. Logical foundations of proof complexit
Author: / Stephen Cook, Phuong Nguyen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity.,Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
267
.
7
,.
C695
,
2010
,
WEB
4. Logical foundations of proof complexity
Author: Cook, Stephen, 8491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
267
.
7
.
C669L6
5. Logical foundations of proof complexity
Author: Cook, Stephen
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
267
.
7
.
C695
2010
6. Proof complexity
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ; Computational complexity. ;
